MONDAY, June 10, 2002 02:00 PM - 05:00 PM | Room: 293    HANDS ON TUTORIAL    Creating and Using a Virtual Prototype for Embedded System Verification    Organizers: AXYS Design Automation, Inc., Denali Software, Inc., Mentor Graphics Corp. and Verisity Design, Inc.      Advances in EDA tools now make virtual prototyping a significant solution for embedded system verification. Today, the functional verification challenge is assembling a virtual prototype of the complete system with components from various companies. These virtual prototypes must exist at multiple levels of abstraction for high performance and accuracy, yet easily adjusted for verification requirements. This seminar demonstrates a virtual prototype system encompassing a range of tools and models from different vendors. The tools enable model creation, integration and verification of a complex multi-processor system. The focus is on tool interoperability and the verification methodologies to create a virtual prototype. The demonstration contains: · A microprocessor subsystem based on the ARM PrimeXsys Wireless Platform, including the ARM926EJ-S core with instruction set simulation model · AMBA bus protocol checking performed by Verisity's Invisible Specman · A Saturn DSP Core model from Adelante Technologies, created using the MaxCore and MaxSim tools from AXYS Design Automation. · All memory components are modeled and simulated with Denali Software's MMAV product. · The C models are integrated with Verisity's Specman and Mentor Graphics Corp. Seamless and ModelSim products. · PureView is used for system data debugging. User-specific content is initially modeled in a C-based language and later replaced by an RTL implementation. System verification tools used are: · Mentor Graphics Corp. Seamless Hardware/Software Co-Verification · Mentor Graphics Corp. ModelSim Logic Simulator · Mentor Graphics Corp. XRAY Software Debugger · Verisity Specman for testbench creation and protocol checking · Denali MMAV for memory modeling and simulation · Pureview for concurrent and post-simulation system data debugging · AXYS Design's MaxSim for embedded software simulation of the DSP processor sub-system